Search results for "reduction formulae"

showing 3 items of 3 documents

Integral Reduction with Kira 2.0 and Finite Field Methods

2021

We present the new version 2.0 of the Feynman integral reduction program Kira and describe the new features. The primary new feature is the reconstruction of the final coefficients in integration-by-parts reductions by means of finite field methods with the help of FireFly. This procedure can be parallelized on computer clusters with MPI. Furthermore, the support for user-provided systems of equations has been significantly improved. This mode provides the flexibility to integrate Kira into projects that employ specialized reduction formulas, direct reduction of amplitudes, or to problems involving linear system of equations not limited to relations among standard Feynman integrals. We show…

High Energy Physics - TheoryComputer scienceLinear systemGeneral Physics and AstronomyFOS: Physical sciencesRational functionSystem of linear equationsSymbolic computation01 natural sciences010305 fluids & plasmasAlgebraHigh Energy Physics - PhenomenologyFinite fieldHigh Energy Physics - Phenomenology (hep-ph)High Energy Physics - Theory (hep-th)Hardware and Architecture0103 physical sciencesIntegration by partsLinear independenceIntegration by reduction formulae010306 general physics
researchProduct

The forgotten mathematical legacy of Peano

2019

International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.

PeanoPeano's axioms of arithmeticPeano's counterexamplesWeierstrass maximum theoremabstract measuresGeneral MathematicsClosure (topology)tangencyinterioranti-distributive familiesfoundationdefinitions by abstractionlinear differential equationsaxiom of choiceLogical conjunctionPeano axiomsproofFormal languageAxiom of choiceMSC: Primary 01A55 01A6003-03 26-03 28-03 34-03 54-03; Secondary15A75 26A03 26A2426B25 26B05 28A1228A15 28A75.affine exterior algebra[MATH]Mathematics [math]reduction formulaeMathematicsnonlinear differential equationsoptimality conditionsdifferentiation of measuressweeping-tangent theoremPeano's axioms of geometryPeano's filling curvereduction of mathematics to setssurface areaclosuremean value theoremDirichlet functionNonlinear differential equationssubtangentsEpistemologymeasure theoryplanar measurelower and upper limits of setsdistributive familiescompactnessmathematical definitions1886 existence theoremdifferentiabilityDissertationes Mathematicae
researchProduct

The role of the Euclidean signature in lattice calculations of quasi-distributions and other non-local matrix elements

2017

Lattice quantum chromodynamics (QCD) provides the only known systematic, nonperturbative method for first-principles calculations of nucleon structure. However, for quantities such as lightfront parton distribution functions (PDFs) and generalized parton distributions (GPDs), the restriction to Euclidean time prevents direct calculation of the desired observable. Recently, progress has been made in relating these quantities to matrix elements of spatially nonlocal, zero-time operators, referred to as quasidistributions. Even for these time-independent matrix elements, potential subtleties have been identified in the role of the Euclidean signature. In this work, we investigate the analytic …

Quantum chromodynamicsPhysicsNuclear Theory010308 nuclear & particles physicsHigh Energy Physics::LatticeHigh Energy Physics - Lattice (hep-lat)Lattice field theoryFOS: Physical sciencesObservableLattice QCD01 natural sciencesNuclear Theory (nucl-th)High Energy Physics - LatticeQuantum mechanics0103 physical sciencesMinkowski spaceEuclidean geometryPerturbation theory (quantum mechanics)Integration by reduction formulae010306 general physicsMathematical physics
researchProduct